- следствие теоремы
- Mathematics: conclusion of theorem
Универсальный русско-английский словарь. Академик.ру. 2011.
следствие теоремы
Смотреть что такое "следствие теоремы" в других словарях:
Теоремы Гёделя о неполноте — Теоремы Гёделя о неполноте две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой достаточно сильной[1] теории первого порядка. Первая теорема утверждает, что если формальная… … Википедия
СЛЕДСТВИЕ — (непосредственное следствие), в математике теорема, которая сама собой доказывается в результате доказательства какой либо другой теоремы или предположения. В более общем смысле это прямой или естественный вывод … Научно-технический энциклопедический словарь
Теоремы Силова — В теории групп теоремы Силова представляют собой неполный вариант обратной теоремы к теореме Лагранжа и для некоторых делителей порядка группы G гарантируют существование подгрупп такого порядка. Теоремы доказаны норвежским математиком Силовом в… … Википедия
Теоремы Карно — У этого термина существуют и другие значения, см. цикл Карно. Теоремы Карно две теоремы эвклидовой геометрии, названные в честь Лазара Карно (1753 1823). Содержание 1 Первая теорема (более известна как формула Карно) … Википедия
Теоремы теории графов — Здесь собраны теоремы из теории графов. Содержание 1 Лемма о рукопожатиях 2 Существование эйлерова пути и цикла … Википедия
ЛОГИЧЕСКОЕ СЛЕДСТВИЕ — из данного множества посылок высказывание, являющееся истинным при любой интерпретации нелогич. символов (т. е. имен объектов, функций, предикатов), при к рой истинны посылки. Если высказывание Аявляется Л. с. из множества высказываний Г, то… … Математическая энциклопедия
СКОЛЕМА ПАРАДОКС — следствие теоремы Лёвенхейма Сколема (см. Гёделя теорема о полноте), состоящее в том, что всякая непротиворечивая формальная аксиоматич. теория, заданная счетным семейством аксиом, выполнима в счетной области. В частности, если предположить… … Математическая энциклопедия
Теорема косинусов — Теорема косинусов теорема евклидовой геометрии, обобщающая теорему Пифагора: Для плоского тре … Википедия
ОТРИЦАТЕЛЬНОЙ КРИВИЗНЫ ПОВЕРХНОСТЬ — в непосредственном понимании Двумерная поверхность трехмерного евклидова пространства, к рая в каждой своей точке имеет отрицательную гауссову кривизну К<0. Простейшие примеры: однополостный гиперболоид (рис. 1, а), гиперболический параболоид… … Математическая энциклопедия
Теорема о причёсывании ежа — утверждает, что не существует непрерывного касательного векторного поля на сфере, которое нигде не обращается в ноль. Иначе говоря, если непрерывная функция, задающая касательный к сфере вектор в каждой её точке, то существует хотя бы одна … Википедия
ДВОЙСТВЕННОСТЬ — 1) Д. в алгебраической геометрии двойственность между различными пространствами когомологий на алгебраич. многообразиях. Когомологий когерентных пучков. Пусть X неособое проективное алгебраич. многообразие размерности nнад алгебраически замкнутым … Математическая энциклопедия
